منابع مشابه
p-Lambda-bounded variation
A characteriation of continuity of the $p$-$Lambda$-variation function is given and the Helly's selection principle for $Lambda BV^{(p)}$ functions is established. A characterization of the inclusion of Waterman-Shiba classes into classes of functions with given integral modulus of continuity is given. A useful estimate on modulus of variation of functions of class $Lambda BV^{(p)}$ is found.
متن کاملLambda Theories of Effective Lambda Models
A longstanding open problem is whether there exists a nonsyntactical model of the untyped λ-calculus whose theory is exactly the least λ-theory λβ. In this paper we investigate the more general question of whether the equational/order theory of a model of the untyped λ-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of λ-calculus, which covers...
متن کاملGeneralized Lambda Distribution and its Properties
Generalized Lambda Distribution is an extension of Tukey's lambda distribution, that is very flexible in modeling information and statistical data. In this paper, We introduced two parameterization of this distribution. Then We estimate parameters by moment matching, percentile, starship and maximum likelihood methods and compare two parameterization and parameter estimation method...
متن کاملThe Lambda Library: Lambda Abstraction in C++
The Lambda Library (LL) adds a form of lambda abstraction to C++. The LL is implemented as a template library using standard C++; thus no language extensions or preprocessing is required. The LL consists of a rich set of tools for defining unnamed functions. Particularly, these unnamed functions work seamlessly with the STL algorithms. The LL offers significant improvements, in terms of general...
متن کاملInfinitary Lambda Calculus Innnitary Lambda Calculus
In a previous paper we have established the theory of transsnite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint of innnitary rewriting, the BB ohm model of the lambda calculus can be seen as an innnitary term model. In contrast to term rewriting, there are several diierent possible notions of innnite term, whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales scientifiques de l'École normale supérieure
سال: 1974
ISSN: 0012-9593,1873-2151
DOI: 10.24033/asens.1276